calculus of nature inference

自然推理演算